Poly/ML – A Standard ML Implementation
Poly/ML, a Standard ML implementation compatible with the ML97 standard since version 4.0, offers a fast compiler, foreign function interface, symbolic debugger, and thread library. It is the preferre…
Poly/ML, a Standard ML implementation compatible with the ML97 standard since version 4.0, offers a fast compiler, foreign function interface, symbolic debugger, and thread library. It is the preferre…
C++23 code capsules trace the evolution of function composition from C++17 to C++23, building a reusable Composer class that grows cleaner with each standard. The journey highlights how C++ adopted fu…
After two years of using OCaml to rewrite the Austral compiler, the author shares a critical assessment of the language, highlighting its syntactic flaws and pragmatic shortcomings while acknowledging…
The ML Family Workshop 2026 will take place on August 28, 2026, with in-person events co-located with ICFP'26 in Indianapolis and FW'26 in Paris, and will feature a single Program Committee for submis…